

#include "syscall.h"
int a;
int nums[2000];
int
main()
{

    int a = 0;
    int b = 1;
    a = a +b;
    b = a - b;
    //Halt();
    /* not reached */
    
    
     
}
